Hippasus

Hippasus (Ancient Greek: Ἵππασος, Híppasos; 5th century BC) of Metapontum in Magna Graecia, was a Pythagorean philosopher. Little is known about his life or his beliefs, but he is sometimes credited with the discovery of the existence of irrational numbers. The discovery of irrational numbers is said to have been shocking to the Pythagoreans, and Hippasus is supposed to have drowned at sea (apparently as a punishment from the gods). However, the few ancient sources which describe this story either do not mention Hippasus by name or alternatively tell us that Hippasus drowned because he revealed how to construct a dodecahedron inside a sphere. The discovery of irrationality is not specifically ascribed to Hippasus by any ancient writer. Some modern scholars though have suggested that he discovered the irrationality of √2, which it is believed was discovered around the time that he lived.

Contents

Life

Little is known about the life of Hippasus. He may have lived in the late 5th century BC, about a century after the time of Pythagoras. He probably came from Metapontum in Italy (Magna Graecia), although the nearby city of Croton is also mentioned as his birthplace.[1] Iamblichus states that he was the founder of a sect of the Pythagoreans called the Mathematici (Greek: μαθηματικοί) in opposition to the Acusmatici (Greek: ἀκουσματικοί);[2] but elsewhere he makes him the founder of the Acusmatici in opposition to the Mathematici.[3]

Doctrines

Aristotle speaks of Hippasus as holding the element of fire to be the cause of all things;[4] and Sextus Empiricus contrasts him with the Pythagoreans in this respect, that he believed the arche to be material, whereas they thought it was incorporeal, namely, number.[5] Diogenes Laërtius tells us that Hippasus believed that "there is a definite time which the changes in the universe take to complete, and that the universe is limited and ever in motion."[6] According to one statement, Hippasus left no writings,[7] according to another he was the author of the Mystic Discourse, written to bring Pythagoras into disrepute.[8]

A scholium on Plato's Phaedo notes him as an early experimenter in music theory, claiming that he made use of bronze disks to discover the fundamental musical ratios, 4:3, 3:2, and 2:1.[9]

Irrational numbers

Hippasus is sometimes credited with the discovery of the existence of irrational numbers, following which he was drowned at sea. Pythagoreans preached that all numbers could be expressed as the ratio of integers, and the discovery of irrational numbers is said to have shocked them. However, the evidence linking the discovery to Hippasus is confused.

Pappus merely says that the knowledge of irrational numbers originated in the Pythagorean school, and that the member who first divulged the secret perished by drowning.[10] Iamblichus gives a series of inconsistent reports. In one story he explains how a Pythagorean was merely expelled for divulging the nature of the irrational; but he then cites the legend of the Pythagorean who drowned at sea for making known the construction of the regular dodecahedron in the sphere.[11] In another account he tells how it was Hippasus who drowned at sea for betraying the construction of the dodecahedron and taking credit for this construction himself;[12] but in another story this same punishment is meted out to the Pythagorean who divulged knowledge of the irrational.[13] Iamblichus clearly states that the drowning at sea was a punishment from the gods for impious behaviour.[11]

These stories are usually taken together to ascribe the discovery of irrationals to Hippasus, but whether he did or not is uncertain.[14] In principle, the stories can be combined, since it is possible to discover irrational numbers when constructing dodecahedrons. Irrationality, by infinite reciprocal subtraction, can be easily seen in the Golden ratio of the regular pentagon.[15]

Some modern scholars prefer to credit Hippasus with the discovery of the irrationality of √2. Plato in his Theaetetus,[16] describes how Theodorus of Cyrene (c. 400 BC) proved the irrationality of √3, √5, etc. up to √17, which implies that an earlier mathematician had already proved the irrationality of √2.[17] A simple proof of the irrationality of √2 is indicated by Aristotle, and it is set out in the proposition interpolated at the end of Euclid's Book X,[18] which suggests that the proof was certainly ancient.[19] The proof is one of reductio ad absurdum, and the method is to show that, if the diagonal of a square is commensurable with the side, then the same number must be both odd and even.[19]

In the hands of modern writers this combination of vague ancient reports and modern guesswork has sometimes evolved into a much more emphatic and colourful tale. Some writers have Hippasus making his discovery while on board a ship, as a result of which his Pythagorean shipmates toss him overboard;[20] while one writer even has Pythagoras himself "to his eternal shame" sentencing Hippasus to death by drowning, for showing "that √2 is an irrational number."[21]

Proof of the irrationality of √2

The reductio ad absurdum proof of the irrationality of √2 is as follows:[22]

  1. Take a right triangle whose short sides are 1 unit in length
  2. By the Pythagorean theorem, the diagonal is √2
  3. Suppose that √2 is the ratio of two natural numbers, √2=m/n
  4. Suppose that m/n has been reduced to its lowest common form by division
  5. It follows that either m and n are both odd, or that m is odd and n is even, or that m is even and n is odd (if not, we could reduce m/n even further by dividing both numbers by 2)
  6. Square both sides of √2=m/n, so that 2=m2/n2
  7. Then 2n2=m2, so that m2 is even, and therefore m is even
  8. If m is even, then m=2x, where x is some other natural number
  9. Squaring this, it follows that m2=4x2=2n2
  10. It follows that n2=2x2, and therefore n2 is even, which means that n, being a natural number, must be even
  11. So we've reached a contradiction: although we assumed that m and n cannot both be even, it now turns out they both are. It therefore follows that √2 cannot be expressed as the ratio of two natural numbers, and must therefore be in another class of numbers

References

  1. ^ Iamblichus, Vita Pythagorica, 18 (81)
  2. ^ Iamblichus, De Communi Mathematica Scientia, 76
  3. ^ Iamblichus, Vita Pythagorica, 18 (81); cf. Iamblichus, In Nic. 10.20; De anima ap. Stobaeus, i.49.32
  4. ^ Aristotle, Metaph. i. 3 cf. Simplicius, Commentary on the Physics, 23.33-24.4
  5. ^ Sextus Empiricus, ad Phys. i. 361
  6. ^ Diogenes Laërtius, viii. 84 cf. Simplicius, Commentary on the Physics, 23.33-24.4
  7. ^ Diogenes Laërtius, viii. 84
  8. ^ Diogenes Laërtius, viii. 7
  9. ^ Scholium on Plato's Phaedo, 108D
  10. ^ Pappus, Commentary on Book X of Euclid's Elements. A similar story is quoted in a Greek scholium to the tenth book.
  11. ^ a b Iamblichus, Vita Pythagorica, 34 (246)
  12. ^ Iamblichus, Vita Pythagorica, 18 (88), De Communi Mathematica Scientia, 25
  13. ^ Iamblichus, Vita Pythagorica, 34 (247)
  14. ^ Wilbur Richard Knorr, (1975), The Evolution of the Euclidean Elements: A Study of the Theory of Incommensurable Magnitudes and its Significance for Early Greek Geometry, pages 21-2, 50-1. Springer.
  15. ^ Walter Burkert, (1972), Lore and Science in Ancient Pythagoreanism, page 459. Harvard University Press
  16. ^ Plato, Theaetetus, 147D ff
  17. ^ Thomas Heath, (1921) A History of Greek Mathematics, Volume 1, From Thales to Euclid, p. 155.
  18. ^ Thomas Heath, (1921) A History of Greek Mathematics, Volume 1, From Thales to Euclid, p. 157.
  19. ^ a b Thomas Heath, (1921) A History of Greek Mathematics, Volume 1, From Thales to Euclid, p. 168.
  20. ^ Morris Kline, (1990), Mathematical Thought from Ancient to Modern Times, page 32. Oxford University Press
  21. ^ Simon Singh, (1998), Fermat's Enigma, page 50
  22. ^ David Berlinski (2005) Infinite Ascent, pp. 9-10

See also

External links